Search
1 heading found for n 92025083
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Brinksma, Ed
Brinksma, Ed 1957- Brinksma, H. (Hendrik), 1957- Brinksma, E. Brinksma, H., 1957- Hendrik Brinksma Dutch computer scientist |
Personal | CAV 2002 Computer aided verification : 14th international conference, CAV 2002, Copenhage ... An algebraic approach to the specification of stochastic systems |